Prolog Examples Library

This is a library of Prolog programs examples gathered from several books about Logic Programming and Prolog. The library has been created by P.Hołownia and W.T.Furmańska, based on work done within student projects (MIW2006 & MIW2007).

For every example there is a page with an explanation, and a source code available for download.

Please use the tag cloud to search for a topic:

Below you can find all the files grouped by categories (tags):

logic

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

math

2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

set_algebra

2013/01/17 09:48  
2013/01/17 09:48  

matrix

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

numbers

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

keywords

2013/01/17 09:48  

patterns

2013/01/17 09:48  
2013/01/17 09:48  

rules

2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

backward-chaining

forward-chaining

2013/01/17 09:48  

diagnostic_systems

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

expert_shell

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

expert_systems

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

inference_engine

knowledge_base

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

framework

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

interactive

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

model

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

simulator

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

algorithms

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

function

2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

hypothesis

2013/01/17 09:48  
2013/01/17 09:48  

proof

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

automata

2013/01/17 09:48  
2013/01/17 09:48  

counting

2013/01/17 09:48  

learning

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

planning

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

problem_solving

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

searching

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

sorting

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

graphs

2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

heap

2013/01/17 09:48  
2013/01/17 09:48  

lists

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

networks

2013/01/17 09:48  
2013/01/17 09:48  

queue

2013/01/17 09:48  

stack

2013/01/17 09:48  

terms

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

trees

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

game

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

puzzle

2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

chess

2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

family

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

fun

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

map

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

money

2013/01/17 09:48  
2013/01/17 09:48  

CLP

2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  

DCG

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

ILP

2013/01/17 09:48  

NPDA

2013/01/17 09:48  
2013/01/17 09:48  

OOP

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

arithmetic

2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

combinatorics

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

electronics

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

geometry

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

conversation

2013/01/17 09:48  

language

2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

natural_language

2013/01/17 09:48  
2013/01/17 09:48  

cut

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

operators

2013/01/17 16:21  
2013/01/17 16:21  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

predicates

2013/01/17 09:48  
2013/01/17 09:48  

recursion

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

statements

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

compiler

2013/01/17 09:48  

interpreter

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

metainterpreter

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

parser

2013/01/17 09:48  
2013/01/17 09:48  

file

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

i/o

memory

2013/01/17 09:48  
2013/01/17 09:48  

read/write

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  

tracers

2013/01/17 09:48  

npda

2013/01/17 09:48  
2013/01/17 09:48  

misc

2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
2013/01/17 09:48  
pl/prolog/pllib/start.txt · ostatnio zmienione: 2013/11/03 15:24 przez ikaf
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0