mcalejo

InterProlog ConsultingPortugal

Pinned Repositories

Core-Smart-Contracts-v1
External Validation
Language:JavaScript2 3 11
Core-Smart-Contracts-v1-upgradable
Language:JavaScript01
Pacioli-Node-Helper
Holds private key to allow unattended restarting of a Pacioli node Docker container
Language:JavaScript00
providerManger
Docker
Language:JavaScript0 1 00
TPLP-swish
TPLP paper about SWISH
Language:TeX00
LogicalEnglish
Language:Prolog23 11 136
interprolog
Java <-> XSB Prolog bridge library
Language:Java12 1 31
react-pivottable
Fork of the official https://github.com/plotly/react-pivottable
Language:JavaScript10
TaxKB
Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish
Language:Prolog2 5 11
qualm
a LP system, implemented in XSB Prolog, that combines contextual abduction, updating, and counterfactuals, afforded by tabling mechanisms
Language:OpenEdge ABL10

mcalejo's Repositories

mcalejo/interprolog
Java <-> XSB Prolog bridge library
Language:Java12 1 31
mcalejo/TaxKB
Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish
Language:Prolog2 5 11
mcalejo/react-pivottable
Fork of the official https://github.com/plotly/react-pivottable
Language:JavaScript10