Dit is de Linux-app core.logic, waarvan de nieuwste versie kan worden gedownload als v1.1.0sourcecode.zip. Deze kan online worden uitgevoerd via de gratis hostingprovider OnWorks voor werkstations.
Download en voer online deze app met de naam core.logic gratis uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
kern.logica
PRODUCTBESCHRIJVING
core.logic brengt logisch programmeren naar Clojure en ClojureScript via een implementatie van miniKanren, wat relationele, op beperkingen gebaseerde en nominale logica mogelijk maakt. Het maakt complexe redeneringen en declaratieve probleemoplossing direct in Clojure mogelijk.
Kenmerken
- Prolog-achtige relationele programmering met run*, fresh, == constructies
- Ondersteunt constraint logic programming en nominale logische uitbreidingen
- Gebouwd op miniKanren met extensies van cKanren en αKanren
- Integratie met zowel Clojure (JVM) als ClojureScript (JS) omgevingen
- Maakt expressieve logische query's over Clojure-datastructuren mogelijk
- Uitbreidbaar ontwerp voor het bouwen van aangepaste logische paradigma's
Categorieën
Deze applicatie kan ook worden gedownload van https://sourceforge.net/projects/core-logic.mirror/. Deze is gehost in OnWorks, zodat deze eenvoudig online kan worden uitgevoerd via een van onze gratis besturingssystemen.
