Difference between revisions of "Logic Programming"

From Termination-Portal.org
Jump to navigationJump to search
Line 19: Line 19:
 
* LP/talp/apt/dc_mod.pl
 
* LP/talp/apt/dc_mod.pl
 
* LP/talp/apt/gt_mod.pl
 
* LP/talp/apt/gt_mod.pl
 +
 +
The following examples contain non-trivial built-in predicates that are potentially
 +
handled in very different ways by the individual tools (leading to potentially
 +
different termination status):
 +
* LP/lpexamples/factorial.pl
 +
* LP/lpexamples/fib-oi.pl
 +
* LP/lpexamples/fib.pl
 +
* LP/lpexamples/hanoi.pl
 +
* LP/lpexamples/kay4.pl
 +
* LP/lpexamples/numbervars.pl
 +
* LP/lpexamples/primes.pl
 +
* LP/lpexamples/tautology.pl
 +
* LP/lpexamples/totient.pl
 +
* LP/talp/apt/curry_ap.pl
 +
* LP/talp/apt/dc_mod.pl
 +
* LP/talp/apt/dc_schema.pl
 +
* LP/talp/apt/gt_mod.pl
 +
* LP/talp/apt/gtsolve.pl
 +
* LP/talp/apt/mergesort_ap_variant.pl
 +
* LP/talp/maria/aiakl.pl
 +
* LP/talp/maria/ann.pl
 +
* LP/talp/maria/bid.pl
 +
* LP/talp/maria/boyer.pl
 +
* LP/talp/maria/browse.pl
 +
* LP/talp/maria/deriv-oii.pl
 +
* LP/talp/maria/deriv.pl
 +
* LP/talp/maria/fib.pl
 +
* LP/talp/maria/grammar.pl
 +
* LP/talp/maria/grammar2.pl
 +
* LP/talp/maria/hanoiapp.pl
 +
* LP/talp/maria/mmatrix.pl
 +
* LP/talp/maria/money.pl
 +
* LP/talp/maria/occur.pl
 +
* LP/talp/maria/peephole.pl
 +
* LP/talp/maria/progeom.pl
 +
* LP/talp/maria/qplan.pl
 +
* LP/talp/maria/qsortapp.pl
 +
* LP/talp/maria/query.pl
 +
* LP/talp/maria/rdtok.pl
 +
* LP/talp/maria/read.pl
 +
* LP/talp/maria/serialize.pl
 +
* LP/talp/maria/tak.pl
 +
* LP/talp/maria/tictactoe.pl
 +
* LP/talp/maria/warplan.pl
 +
* LP/talp/taboch/permute2.pl
 +
* LP/talp/taboch/queens.pl
 +
* LP/terminweb/old-terminweb/mergesort.pl
 +
* LP/terminweb/old-terminweb/queens.pl
 +
* LP/terminweb/old-terminweb/quicksort.pl
  
 
== Questions ==
 
== Questions ==

Revision as of 16:22, 29 October 2008

This page is to record the current status of discussion on cleaning up the Logic Programming Category of the Termination Competition.

(Discussion should take place on the termtools mailing list.)

Syntax/Semantics for Input/Output

The set of queries, for which termination should be analyzed, is given by a comment in the first line. Example:

%query: p(i,o).

This means all queries :- p(s,t). where s is a ground term and t can be any term.

Problematic Examples

The following examples are empty:

  • LP/talp/apt/dc_mod.pl
  • LP/talp/apt/gt_mod.pl

The following examples contain non-trivial built-in predicates that are potentially handled in very different ways by the individual tools (leading to potentially different termination status):

  • LP/lpexamples/factorial.pl
  • LP/lpexamples/fib-oi.pl
  • LP/lpexamples/fib.pl
  • LP/lpexamples/hanoi.pl
  • LP/lpexamples/kay4.pl
  • LP/lpexamples/numbervars.pl
  • LP/lpexamples/primes.pl
  • LP/lpexamples/tautology.pl
  • LP/lpexamples/totient.pl
  • LP/talp/apt/curry_ap.pl
  • LP/talp/apt/dc_mod.pl
  • LP/talp/apt/dc_schema.pl
  • LP/talp/apt/gt_mod.pl
  • LP/talp/apt/gtsolve.pl
  • LP/talp/apt/mergesort_ap_variant.pl
  • LP/talp/maria/aiakl.pl
  • LP/talp/maria/ann.pl
  • LP/talp/maria/bid.pl
  • LP/talp/maria/boyer.pl
  • LP/talp/maria/browse.pl
  • LP/talp/maria/deriv-oii.pl
  • LP/talp/maria/deriv.pl
  • LP/talp/maria/fib.pl
  • LP/talp/maria/grammar.pl
  • LP/talp/maria/grammar2.pl
  • LP/talp/maria/hanoiapp.pl
  • LP/talp/maria/mmatrix.pl
  • LP/talp/maria/money.pl
  • LP/talp/maria/occur.pl
  • LP/talp/maria/peephole.pl
  • LP/talp/maria/progeom.pl
  • LP/talp/maria/qplan.pl
  • LP/talp/maria/qsortapp.pl
  • LP/talp/maria/query.pl
  • LP/talp/maria/rdtok.pl
  • LP/talp/maria/read.pl
  • LP/talp/maria/serialize.pl
  • LP/talp/maria/tak.pl
  • LP/talp/maria/tictactoe.pl
  • LP/talp/maria/warplan.pl
  • LP/talp/taboch/permute2.pl
  • LP/talp/taboch/queens.pl
  • LP/terminweb/old-terminweb/mergesort.pl
  • LP/terminweb/old-terminweb/queens.pl
  • LP/terminweb/old-terminweb/quicksort.pl

Questions

  • should empty examples be removed?
  • how to handle built-ins that the tool does not support?
  • do we want to have a (sub-)category "pure logic programs"?

Participants

The following is a list of participants to this category