Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Logic Programming
Author

Renan Cabrera
Organization: University of Windsor
Department: Physics
Old MathSource #

0211-543
Revision date

2000-12-20
Description

This is a notebook that is inspired by the computer language Prolog and shows a possible way to emulate it with Mathematica.
Subjects

*Mathematics > Foundations of Mathematics > Logic
*Wolfram Technology > Programming
Keywords

Prolog, Logic programming
URL

http://home.earthlink.net/~djmp/Mathematica.html
Downloads Download Wolfram CDF Player

Download
Logic.nb (13.3 KB) - Mathematica notebook
Download
logic.m (744 B) - Mathematica package