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')



Valid XHTML 1.0 Transitional

Valid CSS!

Valid No www


Clock showing current time.