Prolog Interpritor

This is a Prolog Interpritor written using PHP, it can solve a variety of prolog programs. It was written to prove I could.

Prolog Database


Note if something has infinite answers it will loop forever (30s befor it gives up just wait)

check(cons('Joe Smith',cons('Mary Smith', '0')), 'England')



Query:



Menu


Valid XHTML 1.0 Transitional

Valid CSS!

Valid No www

PHP


Clock showing current time.