Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

Prolog - simplify derivative

Prolog DCG set_prolog_flag double_quotes source code directive location matters; documentation?

Implementing partial evaluation in SWI-Prolog

macros prolog swi-prolog

SWI Prolog backtracking behavior after `read/1` call

prolog

Space-efficient writing of functional notation

list prolog iso-prolog

Prolog: How to create all possible combinations without repetitions

prolog

Predsort/3 like msort/2

prolog swi-prolog

How Prolog is used and implement the real-world application [closed]

prolog

swi-prolog negation

prolog negation

Implementing "cut" in a recursive descent parser

Prolog - Using terms to represent and access complex, nested data

How to read the predicates in prolog

prolog logic

Cut and Fail in Prolog

prolog prolog-cut

Complexity of ISO Prolog predicates

Prolog DCG: Writing programming language lexer

prolog lexical-analysis dcg

Solving Tower of Hanoi declaratively (Prolog)

Difficulties implementing DSL in Prolog from EBNF using DCG

parsing prolog dsl dcg ebnf

Why "..." appears in my answer of matrix in Prolog

What does the colon (:) exactly stand for in Swi-Prolog?

prolog colon

How to add to end of list in prolog

prolog