https://github.com/harmim/vut-flp-project2

Functional and Logic Programming - Logic Project - Turing Machine
https://github.com/harmim/vut-flp-project2

flp logic-programming prolog swi-prolog theoretical-computer-science turing-machine turing-machine-simulator vut vut-fit

Last synced: about 1 month ago
JSON representation

Functional and Logic Programming - Logic Project - Turing Machine

• Host: GitHub
• URL: https://github.com/harmim/vut-flp-project2
• Owner: harmim
• License: mit
• Created: 2020-04-15T11:30:17.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2020-04-17T05:25:34.000Z (almost 5 years ago)
• Last Synced: 2024-04-24T03:21:12.465Z (9 months ago)
• Topics: flp, logic-programming, prolog, swi-prolog, theoretical-computer-science, turing-machine, turing-machine-simulator, vut, vut-fit
• Language: Prolog
• Homepage:
• Size: 543 KB
• Stars: 0
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project