https://github.com/programmergnome/prolog

[Hu] Logikai feladványok megoldása prolog nyelven.
https://github.com/programmergnome/prolog

prolog prolog-exercises prolog-programming-language

Last synced: 5 months ago
JSON representation

[Hu] Logikai feladványok megoldása prolog nyelven.

• Host: GitHub
• URL: https://github.com/programmergnome/prolog
• Owner: ProgrammerGnome
• License: gpl-3.0
• Created: 2023-02-02T15:41:39.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2024-03-03T23:08:02.000Z (over 1 year ago)
• Last Synced: 2025-03-15T20:30:47.466Z (8 months ago)
• Topics: prolog, prolog-exercises, prolog-programming-language
• Language: Prolog
• Homepage:
• Size: 18.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Introduction to Prolog

### Solving logical puzzles in Prolog. The texts of the tasks are written in Hungarian.

In this file I will show you how to easily evaluate expressions in Mathematical logic (First-order logic) in Prolog. That is, I show how the Prolog programming language can be used in checking Mathematical logic problems.

#### Command for SWI-Prolog (ArchLinux):

	sudo pacman -S swi-prolog

	

	swipl -s Filename.pl

	?- ...