PAC library for develop version available

Kuniaki Mukai <[email protected]> Sat, 27 Sep 2014 01:01:14 +0900
Newsgroups gmane.comp.ai.prolog.swi
Message-ID <[email protected]>
Hi,

I have uploaded PAC library at

  http://web.sfc.keio.ac.jp/~mukai/pac-lite.zip

The PAC library defines term_expression/2, which implements following featues
on SWI-Prolog *develop*  version (> V7.1).

1.  anonymous predicates as meta-arguments,
2.  a limited functional expressions including applications, and
3.  regular expressions in DCG phrases.

To try PAC library:
1. unzip pac-lite.zip 
2. % swipl   -f  '<path-to-the>/pac-lite/start-pac'
3. run sample queries  in the test-log.pl

I have announced the PAC library already, for instance, at a thread on
"[SWIPL] Conditional equations with a directive for flipping
arguments."  Still no documentation is available except the uploaded
source files.  Although I have been using the PAC library for years
for many small applications, many bugs may be there.

The zip file contains:

Readme			this file
engine.pl		helper predicates
expand-etc.pl		expand etcetra    (for, repeat, sed, ...)
expand-pac.pl		expand (compile)  pac  expressions
expand-word.pl		expand words in phrase (e.g. regex)
interval-boole.pl	compute boolean operation on intervals for regex.
math.pl			demo on conditional equations
misc.pl			misc
op.pl			operaters declaration.
pac-init.pl		initialization for pac.
pac-loader.pl		loadging files
pac.pl			include file for term_expansion 
reduce.pl		making generated goals slim
start-pac.pl		main 
test-log.pl		sample queries.


I will appreciate for any comment or feedback.

Regards,

Kuniaki Mukai




-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://lists.iai.uni-bonn.de/pipermail/swi-prolog/attachments/20140927/c91aceb9/signature.asc>