Fix a bug that a name of a source file containing 'cc' or 'cpp' is
incorrectly replaced in finding OBJS and OBJS_TEST.
Add a necessary include.
Move YAP-related things from ggpe.cpp to yap_engine.cpp. Now State is
just an interface which is inherited by YapState. Use StateSp everywhere
outside the engine.
Simple tests for GDLCCEngine succeeded.
All tests succeeds, but multithread initialization is not complete.
Use the same atoms for yap and gdlcc.
Set GGPE_PATH at compile time, so you don't need to copy interface.pl
and gdlcc to the current directory now.
Clear tmp files before running tests and a sample script.
Add sample/tmp.
Add timeout for external commands.
Add a test for pilgrimage.kif, which contains atoms both functor and
non-functor.
Stop using different prefixes for functors and non-functors: f_ and a_.
Start to use gdl_ for both of them instead. The number of arguments of a
functor is not necessarily unique, flattening compound terms based on it
is dangerous. Thus start to use atoms representing parenthesis for
compound terms inside compound terms.
Add a test for chinesecheckers4.kif, which has an unbound variable in
implication of legal.
When found unbound variables in an implication body, change the order of
the body predicates so that the variables are bound first.
Memoize fact_arg_values/3 and action_arg_values/3.
Add values_are_in_ordered_domain/2.
Add a validation for GDLCC engine by comparing with YAP engine.
Now test chinesecheckers4 by both YAP and GDLCC engines.
Check if the implication is solvable. Only solvable implications are
tabled.
Output atom_str -> atom mapping for debugging.