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}
| ?- [pref].
{consulting /home/torsten/Programming/Prolog/Preferences/pref.pl...}
{compiling /home/torsten/Programming/Prolog/Preferences/sicstus.pl...}
{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, 10 msec 26400 bytes}
{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 20472 bytes}
{compiled /home/torsten/Programming/Prolog/Preferences/sicstus.pl in module user, 50 msec 50388 bytes}
{consulting /home/torsten/Programming/Prolog/Preferences/grounder.pl...}
{consulted /home/torsten/Programming/Prolog/Preferences/grounder.pl in module user, 20 msec 8272 bytes}
{consulting /home/torsten/Programming/Prolog/Preferences/pp.pl...}
{consulted /home/torsten/Programming/Prolog/Preferences/pp.pl in module user, 20 msec 4936 bytes}
{consulting /home/torsten/Programming/Prolog/Preferences/dlv.pl...}
{consulted /home/torsten/Programming/Prolog/Preferences/dlv.pl in module user, 20 msec 4976 bytes}
{consulting /home/torsten/Programming/Prolog/Preferences/smodels.pl...}
{consulted /home/torsten/Programming/Prolog/Preferences/smodels.pl in module user, 20 msec 6768 bytes}
{consulted /home/torsten/Programming/Prolog/Preferences/pref.pl in module user, 190 msec 103100 bytes}

yes
{source_info}
| ?- lp2dlv('Examples/penguin').
--
Input Clauses
--
penguin(tweety).
bird(tweety).
flies(tweety):-name(1),not neg flies(tweety),bird(tweety).
neg flies(tweety):-name(2),not flies(tweety),penguin(tweety).
1<2.
true.
==
Leaving :penguin(tweety): untouched
Leaving :bird(tweety): untouched
Leaving :(1<2): untouched
Leaving :true: untouched
--
Intermediate Rules
--
penguin(tweety).
bird(tweety).
flies(tweety):-ap(1).
ap(1):-name(1),ok(1),not neg flies(tweety),bird(tweety).
bl(1):-ok(1),neg flies(tweety).
bl(1):-ok(1),not bird(tweety).
neg flies(tweety):-ap(2).
ap(2):-name(2),ok(2),not flies(tweety),penguin(tweety).
bl(2):-ok(2),flies(tweety).
bl(2):-ok(2),not penguin(tweety).
1<2.
ok(_13663):-name(_13663),oko(_13663,1),oko(_13663,2).
oko(_13663,_13632):-name(_13663),name(_13632),not _13663<_13632.
oko(_13663,_13632):-name(_13663),name(_13632),_13663<_13632,ap(_13632).
oko(_13663,_13632):-name(_13663),name(_13632),_13663<_13632,bl(_13632).
neg _15569<_15570:-name(_15570),name(_15569),_15570<_15569.
_15570<_15569:-name(_15570),name(_15569),name(_15529),_15570<_15529,_15529<_15569.
==
Leaving :penguin(tweety): untouched
Leaving :bird(tweety): untouched
Leaving :(1<2): untouched
--
Output Procedures
--
penguin(tweety).
bird(tweety).
flies(tweety):-ap(1).
neg_flies(tweety):-ap(2).
ap(1):-ok(1),not neg_flies(tweety),bird(tweety).
ap(2):-ok(2),not flies(tweety),penguin(tweety).
ok(_13663):-name(_13663),oko(_13663,1),oko(_13663,2).
bl(1):-ok(1),neg_flies(tweety).
bl(1):-ok(1),not bird(tweety).
bl(2):-ok(2),flies(tweety).
bl(2):-ok(2),not penguin(tweety).
prec(1,2).
neg_prec(_15569,_15570):-name(_15570),name(_15569),prec(_15570,_15569).
prec(_15570,_15569):-name(_15570),name(_15569),name(_15529),prec(_15570,_15529),prec(_15529,_15569).
oko(_13663,_13632):-name(_13663),name(_13632),not prec(_13663,_13632).
oko(_13663,_13632):-name(_13663),name(_13632),prec(_13663,_13632),ap(_13632).
oko(_13663,_13632):-name(_13663),name(_13632),prec(_13663,_13632),bl(_13632).
false:-penguin(_109737),neg_penguin(_109737).
false:-bird(_109794),neg_bird(_109794).
false:-flies(_109851),neg_flies(_109851).
false:-name(_109991),name(_109992),prec(_109991,_109992),neg_prec(_109991,_109992).
name(2).
name(1).
==
IDBing (for dlv) :penguin(tweety)
IDBing (for dlv) :bird(tweety)
IDBing (for dlv) :prec(1,2)
--
DLV Program
--
true.
:-false.
penguin(tweety):-true.
bird(tweety):-true.
flies(tweety):-ap(1).
neg_flies(tweety):-ap(2).
ap(1):-ok(1),not neg_flies(tweety),bird(tweety).
ap(2):-ok(2),not flies(tweety),penguin(tweety).
ok(X):-name(X),oko(X,1),oko(X,2).
bl(1):-ok(1),neg_flies(tweety).
bl(1):-ok(1),not bird(tweety).
bl(2):-ok(2),flies(tweety).
bl(2):-ok(2),not penguin(tweety).
prec(1,2):-true.
neg_prec(Y,X):-name(X),name(Y),prec(X,Y).
prec(X,Z):-name(X),name(Z),name(Y),prec(X,Y),prec(Y,Z).
oko(X,Y):-name(X),name(Y),not prec(X,Y).
oko(X,Y):-name(X),name(Y),prec(X,Y),ap(Y).
oko(X,Y):-name(X),name(Y),prec(X,Y),bl(Y).
false:-penguin(X),neg_penguin(X).
false:-bird(X),neg_bird(X).
false:-flies(X),neg_flies(X).
false:-name(X),name(Y),prec(X,Y),neg_prec(X,Y).
name(2).
name(1).
==

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

{true, name(1), name(2), penguin(tweety), bird(tweety), ok(2), oko(1,1), oko(2,1), oko(2,2), prec(1,2), neg_prec(2,1), ap(2), neg_flies(tweety), oko(1,2), ok(1), bl(1)}


yes
{source_info}
| ?- dlv('Examples/penguin',nice).
Calling :dlv  -filter=penguin -filter=bird -filter=flies -filter=neg_flies -filter=false -filter=neg_penguin -filter=neg_bird Examples/penguin.dlv
--dlv [build BEN/Apr  5 2000   gcc 2.95.2 19991024 (release)]

{penguin(tweety), bird(tweety), neg_flies(tweety)}


yes
{source_info}
| ?- no_verbose_mode.

yes
{source_info}
| ?- lp2dlv('Examples/penguin').

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

{true, name(1), name(2), penguin(tweety), bird(tweety), ok(2), oko(1,1), oko(2,1), oko(2,2), prec(1,2), neg_prec(2,1), ap(2), neg_flies(tweety), oko(1,2), ok(1), bl(1)}


yes
{source_info}
| ?- dlv('Examples/penguin',nice).
Calling :dlv  -filter=penguin -filter=bird -filter=flies -filter=neg_flies -filter=false -filter=neg_penguin -filter=neg_bird Examples/penguin.dlv
--dlv [build BEN/Apr  5 2000   gcc 2.95.2 19991024 (release)]

{penguin(tweety), bird(tweety), neg_flies(tweety)}


yes
{source_info}
| ?- lp4dlv('Examples/penguin').
Calling :dlv  Examples/penguin.dlv
--dlv [build BEN/Apr  5 2000   gcc 2.95.2 19991024 (release)]

{true, name(1), name(2), penguin(tweety), bird(tweety), ok(2), oko(1,1), oko(2,1), oko(2,2), prec(1,2), neg_prec(2,1), ap(2), neg_flies(tweety), oko(1,2), ok(1), bl(1)}


yes
{source_info}
| ?-