תכנות לוגי (Q275603)
קפיצה לניווט
קפיצה לחיפוש
פרדיגמת השמה מבוססת על לוגיקה פורמלית
| שפה | תווית | תיאור | ידוע גם בשם |
|---|---|---|---|
| עברית | תכנות לוגי |
פרדיגמת השמה מבוססת על לוגיקה פורמלית |
|
| אנגלית | logic programming |
programming paradigm based on formal logic |
קביעוֹת
Logic programming
0 הפניות למקורות
מזהים
הפניה אחת למקור
logic-programming · GitHub Topics · GitHub (אנגלית)
20 ביולי 2021
הפניה אחת למקור
הפניה אחת למקור
קישורי אתר
ויקיפדיה(37 רשומות)
- arwiki برمجة منطقية
- bgwiki Логическо програмиране
- bnwiki যুক্তিভিত্তিক প্রোগ্রামিং
- bswiki Logičko programiranje
- cawiki Programació lògica
- cswiki Logické programování
- dewiki Logische Programmierung
- enwiki Logic programming
- eswiki Programación lógica
- etwiki Loogiline programmeerimine
- fawiki برنامهنویسی منطقی
- fiwiki Logiikkapohjainen ohjelmointi
- frwiki Programmation logique
- gawiki Ríomhchlárú loighce
- glwiki Programación lóxica
- hewiki תכנות לוגי
- hrwiki Logičko programiranje
- iowiki Logikala programigado
- itwiki Programmazione logica
- jawiki 論理プログラミング
- kowiki 논리형 프로그래밍
- mswiki Pengaturcaraan logik
- nlwiki Logisch programmeren
- plwiki Programowanie logiczne
- ptwiki Programação lógica
- ruewiki Лоґічне проґрамованя
- ruwiki Логическое программирование
- simplewiki Logic programming
- sqwiki Programimi logjik
- srwiki Логичко програмирање
- svwiki Logikprogrammering
- thwiki การเขียนโปรแกรมเชิงตรรกะ
- trwiki Mantık programlama
- ukwiki Логічне програмування
- viwiki Lập trình logic
- zh_yuewiki 邏輯編程
- zhwiki 邏輯編程