Prolog small
Edit Page
Report
Scan day: 07 February 2014 UTC
12
Virus safety - good
Description: Includes an introduction to Prolog, unification, the back-tracking search process, the source code of a Prolog interpreter, example Prolog programs, the logic of Sir Bedevere (Monty Python), and a Java applet that runs Prolog.
Prolog (Programming in Logic) is a programming language based on It uses the restricted syntax of Quantification of logical variables is implicit -- universal for facts and rules, existential for queries.
Size: 204 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Prolog |
| Keywords: | Prolog, Logic Programming, programs, Horn clauses, Herbrand Universe |
| Description: | Logic Programming, Prolog interpreter and examples |
| IP-address: | 173.203.214.77 |
WHOIS Info
| NS | Name Server:NS1.AFRAID.ORG Name Server:NS2.AFRAID.ORG Name Server:NS3.AFRAID.ORG Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: DNSSEC:Unsigned |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 2001-08-08T23:48:03Z Expiry Date: 2018-08-08T23:47:59Z |