SICStus 3.8.4 (sparc-solaris-5.7): Mon Jun 12 18:41:59 MET DST 2000
Licensed to cs.uni-potsdam.de
{consulting /home/torsten/.sicstusrc...}
{consulted /home/torsten/.sicstusrc in module user, 0 msec 680 bytes}
| ?- {source_info}
| ?- [transf41].
{consulting /home/torsten/Programming/Prolog/NestedLP/transf41.pl...}
{loading /opt/local/lib/sicstus-3.8.4/library/lists.po...}
{module lists imported into user}
{loaded /opt/local/lib/sicstus-3.8.4/library/lists.po in module lists, 10 msec 20456 bytes}
{loading /opt/local/lib/sicstus-3.8.4/library/system.po...}
{module system imported into user}
{loaded /opt/local/lib/sicstus-3.8.4/library/system.po in module system, 20 msec 26384 bytes}
{consulted /home/torsten/Programming/Prolog/NestedLP/transf41.pl in module user, 120 msec 90188 bytes}

yes
{source_info}
| ?- nlp2htl('Examples/t1').
--
Original program
--
a.
not b:-a.
==
--
Program after:homogenize_program
--
a:-true.
not b:-a.
==
--
Program after:negation_normalform
--
a:-true.
not b:-a.
==
dictionary(a,l1).
dictionary(not b,l2).
--
Program after:structural_normalform
--
l1:-true.
l1:-a.
a:-l1.
true:-true.
true:-true.
l2:-l1.
l2:-not b.
not b:-l2.
l1:-a.
a:-l1.
==
--
Program after:eliminate_double_negations
--
l1:-true.
l1:-a.
a:-l1.
true:-true.
true:-true.
l2:-l1.
l2:-not b.
not b:-l2.
l1:-a.
a:-l1.
==
--
Program after:make_heads_negationfree
--
l1:-true.
l1:-a.
a:-l1.
true:-true.
true:-true.
l2:-l1.
l2:-not b.
not_b:-l2.
l1:-a.
a:-l1.
not_b:-not b.
false:-b,not_b.
==
--
Program after:dehomogenize_program
--
l1.
l1:-a.
a:-l1.
l2:-l1.
l2:-not b.
not_b:-l2.
not_b:-not b.
:-b,not_b.
==

yes
{source_info}
| ?- dlv('Examples/t1').
Calling :dlv  Examples/t1.dlv
--dlv [build BEN/Oct 15 2000   gcc 2.95.2 19991024 (release)]

{true, a, not_b}


yes
{source_info}
| ?- nlp2htl2dlv('Examples/t1').
--
Original program
--
a.
not b:-a.
==
--
Program after:homogenize_program
--
a:-true.
not b:-a.
==
--
Program after:negation_normalform
--
a:-true.
not b:-a.
==
dictionary(a,l1).
dictionary(not b,l2).
--
Program after:structural_normalform
--
l1:-true.
l1:-a.
a:-l1.
true:-true.
true:-true.
l2:-l1.
l2:-not b.
not b:-l2.
l1:-a.
a:-l1.
==
--
Program after:eliminate_double_negations
--
l1:-true.
l1:-a.
a:-l1.
true:-true.
true:-true.
l2:-l1.
l2:-not b.
not b:-l2.
l1:-a.
a:-l1.
==
--
Program after:make_heads_negationfree
--
l1:-true.
l1:-a.
a:-l1.
true:-true.
true:-true.
l2:-l1.
l2:-not b.
not_b:-l2.
l1:-a.
a:-l1.
not_b:-not b.
false:-b,not_b.
==
--
Program after:dehomogenize_program
--
l1.
l1:-a.
a:-l1.
l2:-l1.
l2:-not b.
not_b:-l2.
not_b:-not b.
:-b,not_b.
==
--
Program after:dlp2dlv
--
true.
:-false.
l1:-true.
l1:-a.
a:-l1.
l2:-l1.
l2:-not b.
not_b:-l2.
not_b:-not b.
false:-b,not_b.
==
Calling :dlv  Examples/t1.dlv
--dlv [build BEN/Oct 15 2000   gcc 2.95.2 19991024 (release)]

{true, l1, a, l2, not_b}


yes
{source_info}
| ?-