https://github.com/flakas/logic-programming-class

Logic Programming class
https://github.com/flakas/logic-programming-class

Last synced: 25 days ago
JSON representation

Logic Programming class

• Host: GitHub
• URL: https://github.com/flakas/logic-programming-class
• Owner: flakas
• Created: 2014-09-13T12:49:10.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2014-12-12T20:23:55.000Z (almost 10 years ago)
• Last Synced: 2023-03-17T23:00:48.526Z (over 1 year ago)
• Language: Prolog
• Size: 160 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Logic programming class

=======================

These are sources for Logic Programming Class at Vilnius University, 2014

Theory lecturer: R. Vaicekauskas [http://uosis.mif.vu.lt/~rvck/](http://uosis.mif.vu.lt/~rvck/)

Assignment lecturer: D. Lebedenko [http://uosis.mif.vu.lt/~denis/](http://uosis.mif.vu.lt/~denis/)