prolog.md

July 15, 2021 · View on GitHub

Bookmarks tagged [prolog]

www.codever.land/bookmarks/t/prolog

Programowanie w logice z ograniczeniami: Łagodne wprowadzenie dla platformy ECLiPSe

http://www.pwlzo.pl

お気楽 Prolog プログラミング入門

http://www.geocities.jp/m_hiroi/prolog/index.html

広井誠

Prolog プログラミング入門

http://bach.istc.kobe-u.ac.jp/prolog/intro/

田村直之

A Gentle Guide to Constraint Logic Programming via ECLiPSe

http://anclp.pl

Warren's Abstract Machine: A Tutorial Reconstruction

http://wambook.sourceforge.net

Hassan A¨it-Kaci

The First 10 Prolog Programming Contests

https://dtai.cs.kuleuven.be/ppcbook/

Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Tronçon

Simply Logical

http://www.cs.bris.ac.uk/~flach/SimplyLogical.html

P. Flach (HTML, PDF)

Prolog Tutorial

http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html

Prolog Techniques

http://bookboon.com/en/prolog-techniques-applications-of-prolog-ebook

Prolog Problems

https://sites.google.com/site/prologsite/prolog-problems

Werner Hett

Prolog for Programmers

https://sites.google.com/site/prologforprogrammers/

Prolog and Natural - Language Analysis

http://www.mtome.com/Publications/PNLA/pnla-digital.html

Fernando C. N. Pereira, Stuart M. Shieber

Natural Language Processing Techniques in Prolog

http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/

P. Blackburn, K. Striegnitz

Logic, Programming and Prolog (2ed)

http://www.ida.liu.se/~ulfni53/lpp/

Learn Prolog Now!

http://www.learnprolognow.org

Introduction to Prolog for Mathematicians

http://www.j-paine.org/prolog/mathnotes/files/pms/pms.html

J. Ireson-Ireson-Paine

GNU Prolog Manual

http://www.gprolog.org/manual/gprolog.pdf

(PDF)

Expert Systems in Prolog

http://www.amzi.com/ExpertSystemsInProlog/

Concise Intro to Prolog

http://www.cis.upenn.edu/~matuszek/Concise%20Guides/Concise%20Prolog.html

Coding Guidelines for Prolog

http://arxiv.org/abs/0911.2899

Michael A. Covington, Roberto Bagnara, Richard A. O'Keefe, Jan Wielemaker, Simon Price

Applications of Prolog

http://bookboon.com/en/applications-of-prolog-ebook

Adventure in Prolog

http://www.amzi.com/AdventureInProlog/

Lógica Computacional (com Prolog)

http://www4.di.uminho.pt/~mjf/pub/LC-Prolog.pdf

Maria João Frade (PDF)