Logic programming
CMODELS users tag
CMODELS - Answer Set programming System
Smodels hut software
Computing the Stable Model Semantics
The DLV Project
The DLV Project - A Disjunctive Datalog System (and more)
Working group on Answer Set Programming wasp
WASP Home Page
Theory and Practice of Logic Programming journal
Theory and Practice of Logic Programming (TPLP)
Association for Logic Programming (ALP) projects alp
The Association of Logic Programming (ALP)
Bibliographies on Logic Programming bibliography
Bibliographies on Logic Programming
''Logic Programming'' Virtual Library entry info logic
The World Wide Web Virtual Library: Logic Programming
"Warren's Abstract Machine: A Tutorial Reconstruction" is out of print. The author has made it available online and free to use for non-commercial purposes.
Warren's Abstract Machine
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Answer set programming , Logic programming , Warren Abstract Machine , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Logic programming".