├── LICENSE ├── README.md ├── examples ├── abd.pfc ├── adder.pfc ├── at.pfc ├── bc.pfc ├── bible.pfc ├── bulb1.pfc ├── bulbs.pfc ├── clue.pfc ├── clue_game1.pfc ├── consistent.pfc ├── constraints.pfc ├── dcg_pfc.pl ├── default.pfc ├── default2.pfc ├── disj.pfc ├── equality.pfc ├── finin.pfc ├── g.pfc ├── income.pfc ├── kinship.pfc ├── kr.pfc ├── kr2.pfc ├── krpeople.pfc ├── lion.pfc ├── lion.pl ├── midsummer.pfc ├── monkey.pfc ├── na.pfc ├── ndcg_pfc.pl ├── problems.pfc ├── show.el ├── show.pl ├── skolem.pfc ├── small.pfc ├── sum.pfc ├── test.pl ├── test2.pfc └── test_grammar.pl ├── man ├── abstract.tex ├── control.tex ├── db.tex ├── debug.tex ├── examples.tex ├── intro.tex ├── lang.tex ├── misc.tex ├── pfc.aux ├── pfc.bbl ├── pfc.html ├── pfc.log ├── pfc.pdf ├── pfc.shtml ├── pfc.tex ├── predicates.tex └── tms.tex ├── misc ├── addg.pl ├── bc.pl ├── defeat.pl ├── diagnose.pl ├── diagnose1.pl ├── doc ├── licence ├── msg ├── msg2 ├── purgatory.pl ├── test.example.out └── test.example2.out └── pfc1.2 ├── README ├── ex ├── abd.pfc ├── adder.pfc ├── at.pfc ├── bc.pfc ├── bdi.pfc ├── bible.pfc ├── bulb1.pfc ├── bulbs.pfc ├── clue.pfc ├── clue_game1.pfc ├── consistent.pfc ├── constraints.pfc ├── dcg_pfc.pl ├── default.pfc ├── default2.pfc ├── disj.pfc ├── equality.pfc ├── examples ├── finin.pfc ├── g.pfc ├── income.pfc ├── kinship.pfc ├── kr.pfc ├── kr2.pfc ├── krpeople.pfc ├── lion.pfc ├── lion.pl ├── mid.pfc ├── midsummer.pfc ├── monkey.pfc ├── na.pfc ├── ndcg_pfc.pl ├── problems.pfc ├── show.el ├── show.pl ├── skolem.pfc ├── small.pfc ├── sum.pfc ├── test.pl ├── test2.pfc ├── test2.pl ├── test_grammar.pl └── tmsex.pfc ├── man ├── abstract.tex ├── control.tex ├── db.tex ├── debug.tex ├── examples.tex ├── intro.tex ├── lang.tex ├── misc.tex ├── pfc.bbl ├── pfc.html ├── pfc.pdf ├── pfc.ps ├── pfc.shtml ├── pfc.tex ├── predicates.tex └── tms.tex └── src ├── pfc.pl ├── pfccompile.pl ├── pfccore.pl ├── pfcdb.pl ├── pfcdebug.pl ├── pfcjust.pl ├── pfcsupport.pl ├── pfcsyntax.pl ├── pfcwhy.pl └── src /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/README.md -------------------------------------------------------------------------------- /examples/abd.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/abd.pfc -------------------------------------------------------------------------------- /examples/adder.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/adder.pfc -------------------------------------------------------------------------------- /examples/at.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/at.pfc -------------------------------------------------------------------------------- /examples/bc.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/bc.pfc -------------------------------------------------------------------------------- /examples/bible.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/bible.pfc -------------------------------------------------------------------------------- /examples/bulb1.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/bulb1.pfc -------------------------------------------------------------------------------- /examples/bulbs.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/bulbs.pfc -------------------------------------------------------------------------------- /examples/clue.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/clue.pfc -------------------------------------------------------------------------------- /examples/clue_game1.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/clue_game1.pfc -------------------------------------------------------------------------------- /examples/consistent.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/consistent.pfc -------------------------------------------------------------------------------- /examples/constraints.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/constraints.pfc -------------------------------------------------------------------------------- /examples/dcg_pfc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/dcg_pfc.pl -------------------------------------------------------------------------------- /examples/default.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/default.pfc -------------------------------------------------------------------------------- /examples/default2.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/default2.pfc -------------------------------------------------------------------------------- /examples/disj.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/disj.pfc -------------------------------------------------------------------------------- /examples/equality.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/equality.pfc -------------------------------------------------------------------------------- /examples/finin.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/finin.pfc -------------------------------------------------------------------------------- /examples/g.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/g.pfc -------------------------------------------------------------------------------- /examples/income.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/income.pfc -------------------------------------------------------------------------------- /examples/kinship.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/kinship.pfc -------------------------------------------------------------------------------- /examples/kr.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/kr.pfc -------------------------------------------------------------------------------- /examples/kr2.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/kr2.pfc -------------------------------------------------------------------------------- /examples/krpeople.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/krpeople.pfc -------------------------------------------------------------------------------- /examples/lion.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/lion.pfc -------------------------------------------------------------------------------- /examples/lion.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/lion.pl -------------------------------------------------------------------------------- /examples/midsummer.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/midsummer.pfc -------------------------------------------------------------------------------- /examples/monkey.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/monkey.pfc -------------------------------------------------------------------------------- /examples/na.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/na.pfc -------------------------------------------------------------------------------- /examples/ndcg_pfc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/ndcg_pfc.pl -------------------------------------------------------------------------------- /examples/problems.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/problems.pfc -------------------------------------------------------------------------------- /examples/show.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/show.el -------------------------------------------------------------------------------- /examples/show.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/show.pl -------------------------------------------------------------------------------- /examples/skolem.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/skolem.pfc -------------------------------------------------------------------------------- /examples/small.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/small.pfc -------------------------------------------------------------------------------- /examples/sum.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/sum.pfc -------------------------------------------------------------------------------- /examples/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/test.pl -------------------------------------------------------------------------------- /examples/test2.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/test2.pfc -------------------------------------------------------------------------------- /examples/test_grammar.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/examples/test_grammar.pl -------------------------------------------------------------------------------- /man/abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/abstract.tex -------------------------------------------------------------------------------- /man/control.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/control.tex -------------------------------------------------------------------------------- /man/db.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/db.tex -------------------------------------------------------------------------------- /man/debug.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/debug.tex -------------------------------------------------------------------------------- /man/examples.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/examples.tex -------------------------------------------------------------------------------- /man/intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/intro.tex -------------------------------------------------------------------------------- /man/lang.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/lang.tex -------------------------------------------------------------------------------- /man/misc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/misc.tex -------------------------------------------------------------------------------- /man/pfc.aux: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/pfc.aux -------------------------------------------------------------------------------- /man/pfc.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/pfc.bbl -------------------------------------------------------------------------------- /man/pfc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/pfc.html -------------------------------------------------------------------------------- /man/pfc.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/pfc.log -------------------------------------------------------------------------------- /man/pfc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/pfc.pdf -------------------------------------------------------------------------------- /man/pfc.shtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/pfc.shtml -------------------------------------------------------------------------------- /man/pfc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/pfc.tex -------------------------------------------------------------------------------- /man/predicates.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/predicates.tex -------------------------------------------------------------------------------- /man/tms.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/man/tms.tex -------------------------------------------------------------------------------- /misc/addg.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/addg.pl -------------------------------------------------------------------------------- /misc/bc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/bc.pl -------------------------------------------------------------------------------- /misc/defeat.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/defeat.pl -------------------------------------------------------------------------------- /misc/diagnose.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/diagnose.pl -------------------------------------------------------------------------------- /misc/diagnose1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/diagnose1.pl -------------------------------------------------------------------------------- /misc/doc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/doc -------------------------------------------------------------------------------- /misc/licence: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/licence -------------------------------------------------------------------------------- /misc/msg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/msg -------------------------------------------------------------------------------- /misc/msg2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/msg2 -------------------------------------------------------------------------------- /misc/purgatory.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/purgatory.pl -------------------------------------------------------------------------------- /misc/test.example.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/test.example.out -------------------------------------------------------------------------------- /misc/test.example2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/misc/test.example2.out -------------------------------------------------------------------------------- /pfc1.2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/README -------------------------------------------------------------------------------- /pfc1.2/ex/abd.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/abd.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/adder.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/adder.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/at.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/at.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/bc.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/bc.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/bdi.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/bdi.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/bible.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/bible.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/bulb1.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/bulb1.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/bulbs.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/bulbs.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/clue.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/clue.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/clue_game1.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/clue_game1.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/consistent.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/consistent.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/constraints.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/constraints.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/dcg_pfc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/dcg_pfc.pl -------------------------------------------------------------------------------- /pfc1.2/ex/default.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/default.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/default2.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/default2.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/disj.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/disj.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/equality.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/equality.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/examples: -------------------------------------------------------------------------------- 1 | examples -------------------------------------------------------------------------------- /pfc1.2/ex/finin.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/finin.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/g.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/g.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/income.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/income.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/kinship.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/kinship.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/kr.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/kr.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/kr2.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/kr2.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/krpeople.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/krpeople.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/lion.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/lion.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/lion.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/lion.pl -------------------------------------------------------------------------------- /pfc1.2/ex/mid.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/mid.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/midsummer.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/midsummer.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/monkey.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/monkey.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/na.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/na.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/ndcg_pfc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/ndcg_pfc.pl -------------------------------------------------------------------------------- /pfc1.2/ex/problems.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/problems.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/show.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/show.el -------------------------------------------------------------------------------- /pfc1.2/ex/show.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/show.pl -------------------------------------------------------------------------------- /pfc1.2/ex/skolem.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/skolem.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/small.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/small.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/sum.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/sum.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/test.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/test.pl -------------------------------------------------------------------------------- /pfc1.2/ex/test2.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/test2.pfc -------------------------------------------------------------------------------- /pfc1.2/ex/test2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/test2.pl -------------------------------------------------------------------------------- /pfc1.2/ex/test_grammar.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/test_grammar.pl -------------------------------------------------------------------------------- /pfc1.2/ex/tmsex.pfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/ex/tmsex.pfc -------------------------------------------------------------------------------- /pfc1.2/man/abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/abstract.tex -------------------------------------------------------------------------------- /pfc1.2/man/control.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/control.tex -------------------------------------------------------------------------------- /pfc1.2/man/db.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/db.tex -------------------------------------------------------------------------------- /pfc1.2/man/debug.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/debug.tex -------------------------------------------------------------------------------- /pfc1.2/man/examples.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/examples.tex -------------------------------------------------------------------------------- /pfc1.2/man/intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/intro.tex -------------------------------------------------------------------------------- /pfc1.2/man/lang.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/lang.tex -------------------------------------------------------------------------------- /pfc1.2/man/misc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/misc.tex -------------------------------------------------------------------------------- /pfc1.2/man/pfc.bbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/pfc.bbl -------------------------------------------------------------------------------- /pfc1.2/man/pfc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/pfc.html -------------------------------------------------------------------------------- /pfc1.2/man/pfc.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/pfc.pdf -------------------------------------------------------------------------------- /pfc1.2/man/pfc.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/pfc.ps -------------------------------------------------------------------------------- /pfc1.2/man/pfc.shtml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/pfc.shtml -------------------------------------------------------------------------------- /pfc1.2/man/pfc.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/pfc.tex -------------------------------------------------------------------------------- /pfc1.2/man/predicates.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/predicates.tex -------------------------------------------------------------------------------- /pfc1.2/man/tms.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/man/tms.tex -------------------------------------------------------------------------------- /pfc1.2/src/pfc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfc.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfccompile.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfccompile.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfccore.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfccore.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfcdb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfcdb.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfcdebug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfcdebug.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfcjust.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfcjust.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfcsupport.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfcsupport.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfcsyntax.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfcsyntax.pl -------------------------------------------------------------------------------- /pfc1.2/src/pfcwhy.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/finin/pfc/HEAD/pfc1.2/src/pfcwhy.pl -------------------------------------------------------------------------------- /pfc1.2/src/src: -------------------------------------------------------------------------------- 1 | src --------------------------------------------------------------------------------