Package "pascal"

Title:	Probabilistc inductive constraint logic
Rating:	Not rated. Create the first rating!
Latest version:	1.0
SHA1 sum:	ebb9b71b4da1a6175b06876f5d0289d06856f9a7
Author:	Fabrizio Riguzzi <fabrizio.riguzzi@unife.it>
Download URL:	https://github.com/friguzzi/pascal/releases/*.zip
Requires:	lbfgs

Reviews

No reviews. Create the first review!.

Details by download location

Version	SHA1	#Downloads	URL
1.0	153b2d21027bd54237d81a075cd3487d744caa28	3	https://github.com/friguzzi/pascal.git
	1fecd43b2d8b0af884798fae544e68a4208c80fa	1	https://github.com/friguzzi/pascal.git
	6c69dacd168e6012d12ce67964bb3e5e04d2bc73	3	https://github.com/friguzzi/pascal.git
	82ca49024b818a58a567c0579076e1a0ed7ad681	1	https://github.com/friguzzi/pascal.git
	c87d93cda889d00ab8e8c4a19d3e7557830bfb37	20	https://github.com/friguzzi/pascal.git
	ebb9b71b4da1a6175b06876f5d0289d06856f9a7	1	https://github.com/friguzzi/pascal.git

PASCAL

Pascal (probabilistic inductive constraint logic) is an algorithm for learning probabilistic integrity constraints. It was proposed in

Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, 110:723–754, 2021. doi:10.1007/s10994-020-05911-6

It contains modules for both structure and parameter learning.

You can find the manual at http://friguzzi.github.io/pascal/.

You can try it online at http://cplint.eu.

Installation

This is an SWI-Prolog pack.

It can be installed with pack_install/1

$ swipl
?- pack_install(pascal).

You can upgrade the pack with

$ swipl
?- pack_upgrade(pascal).

Requirements

It requires the pack lbfgs https://github.com/friguzzi/lbfgs

It is installed automatically when installing pack pascal or can be installed manually as

$ swipl
?- pack_install(lbfgs).

Example of use

$ cd <pack>/pascal/prolog/examples
$ swipl
?- [bongardkeys].
?- induce_pascal([train]),T).

Testing the installation

$ swipl
?- [library(test_pascal)].
?- test_pascal.

Support

Use the Google group https://groups.google.com/forum/#!forum/cplint.

Contents of pack "pascal"

Pack contains 58 files holding a total of 2.4M bytes.

.gitignore(7 bytes)
.nojekyll(1 bytes)
LICENSE(1.3K bytes)
README.md(1.5K bytes)
_config.yml(37 bytes)
docs
- .nojekyll(1 bytes)
- Makefile(637 bytes)
- _build
  - html
    - .buildinfo(230 bytes)
    - _sources
      - index.rst.txt(18.3K bytes)
    - _static
      - basic.css(14.3K bytes)
      - classic.css(4.4K bytes)
      - doctools.js(9.4K bytes)
      - documentation_options.js(353 bytes)
      - favicon.ico(16.6K bytes)
      - file.png(286 bytes)
      - jquery-3.5.1.js(281K bytes)
      - jquery.js(87.4K bytes)
      - language_data.js(10.6K bytes)
      - minus.png(90 bytes)
      - plus.png(90 bytes)
      - pygments.css(4.7K bytes)
      - searchtools.js(16.3K bytes)
      - sidebar.js(4.7K bytes)
      - underscore.js(19.1K bytes)
    - genindex.html(2.3K bytes)
    - index.html(59.0K bytes)
    - objects.inv(609 bytes)
    - search.html(3.1K bytes)
    - searchindex.js(4.5K bytes)
  - latex
    - pascal.pdf(230K bytes)
- _static
  - favicon.ico(16.6K bytes)
- conf.py(5.2K bytes)
- gen_pldoc.pl(559 bytes)
- how_to_build.txt(1.9K bytes)
- index.html(115 bytes)
- index.rst(18.3K bytes)
- make.bat(810 bytes)
- newbib.bib(2.1K bytes)
- pldoc
  - h1-bg.png(752 bytes)
  - h2-bg.png(673 bytes)
  - multi-bg.png(508 bytes)
  - pascal.html(3.6K bytes)
  - pldoc.css(9.3K bytes)
  - priv-bg.png(770 bytes)
  - pub-bg.png(673 bytes)
pack.pl(216 bytes)
prolog
- debug.pl(280 bytes)
- examples
  - bongardkeys.pl(54.8K bytes, not a module)
  - bongardkeys_rule.pl(54.8K bytes, not a module)
  - bupa_d.pl(70.8K bytes, not a module)
  - canc-d.pl(956K bytes, not a module)
  - triazine-d.pl(209K bytes, not a module)
  - triazine-dgd.pl(209K bytes, not a module)
- ic_parser.pl(10.3K bytes)
- parser_utils.pl(5.4K bytes)
- pascal.pl(75.2K bytes)
- sciff_options.pl(1.1K bytes)
- test_pascal.pl(2.2K bytes)