Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in prolog

SWI-Prolog rule assertion from passed List

prolog

Prolog - Custom 'if-then-else'

if-statement prolog

How to extract data to list in Prolog?

list prolog

I wonder if I can use Prolog to do resolution reasoning

math prolog logic

Method that counts the number of occurs in one list in Prolog

prolog

Prolog - recursing down family tree

prolog tree

writing prolog statement with not operator

prolog

Solving CNF using Prolog

prolog fill a list automatically with variables in loop

list variables prolog sudoku

Prolog Assignment

list prolog

Prolog recursion grammar

prolog dcg

prime numbers list for a given range prolog

prolog primes

Getting an order into predicate resolution

prolog clpfd

How to remove sub-lists in prolog?

list prolog sublist

How to remove a list from a list in prolog?

list prolog

Running Prolog in a web browser

html css prolog

Using the prolog format predicate to print to file

prolog

Skip/pass non-standard prolog code

prolog swi-prolog erlog

Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")

What's the -> operator in Prolog and how can I use it?

operators prolog