Lightweight compilation of (C)LP to JavaScript

DOI10.1017/S1471068412000336zbMath1261.68044arXiv1210.2864OpenAlexW1970254721MaRDI QIDQ4911147

Rémy Haemmerlé, Manuel V. Hermenegildo, Manuel Carro, Jose Francisco Morales

Publication date: 13 March 2013

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1210.2864

zbMATH Keywords

moduleswebProloglogic programming systemJavaScriptimplementation of PrologCiao

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Logic programming (68N17)

Uses Software

• Prolog
• JavaScript

Cites Work

• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Compiling constraints in clp(FD)
• SWI-Prolog and the web

This page was built for publication: Lightweight compilation of (C)LP to JavaScript