Introduction

• Lists (A.pdf)
• Recursion (A.pdf)
• Operators (A.pdf)
• Logic (A.pdf)

• Files (A.pdf)
• Arithmetic (A.pdf)

• Introduction (B.pdf)

Computational Model

• Unification (A.pdf)
• Resolution (A.pdf)
• Queries

• Derivation Tree (A.pdf)
• Cut Operator (A.pdf)
• Meta Programming (A.pdf)

• See Logic Programming History

CLP(FD) Contraint Logic Programming over Finite Domains

Sudoku Solver in Prolog

Search in Prolog

• Search(A.pdf)

Java Interface

• Using Java Socket Programming (See "Web programming in plain view".)
• Using Prolog Socket Programming (A.pdf)
• See (comp.lang.prolog)
• Using JPL : A bidirectional Prolog/Java interface (A.pdf)

Web Programming in Prolog

• See a tutorial site
• See a paper
• See Semantic Web in SWI-Prolog

go to [ Electrical_&_Computer_Engineering_Studies ]

External links

• Prolog :- Tutorial
• Learn Prolog Now!
• Prolog A Tutorial Introduction
• Lecture Notes An Introduction to Prolog Programming
• Prolog and Logic Programming
• Adventure In Prolog
• Expert System In Prolog
• Prolog Logic Server
• Interactive Prolog Guide