https://github.com/iinjyi/triangles

3rd year logic programming task: Applying some basic mathematical theorems with prolog.
https://github.com/iinjyi/triangles

logic-programming prolog prolog-programming-language pythagorean-theorem triangle

Last synced: 14 days ago
JSON representation

3rd year logic programming task: Applying some basic mathematical theorems with prolog.

• Host: GitHub
• URL: https://github.com/iinjyi/triangles
• Owner: IinjyI
• Created: 2022-12-06T16:00:31.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2022-12-06T16:18:32.000Z (about 3 years ago)
• Last Synced: 2024-12-30T14:24:59.571Z (about 1 year ago)
• Topics: logic-programming, prolog, prolog-programming-language, pythagorean-theorem, triangle
• Language: Prolog
• Homepage:
• Size: 146 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Triangles

> #### Applying some mathematical theorems with prolog to define whether three sides can form a triangle and if so, is there a special trait for this triangle?

- ### Note that:

  - `t` denotes valid triangle

  - `ot` denotes orthogonal triangle

  - `it` denotes isosceles triangle

  - `et` denotes equilateral triangle

![image](https://user-images.githubusercontent.com/90464702/205962255-c6b43586-b275-4f3e-a2c5-536f4cbefe6c.png)