B-prolog Een geweldige prolog-compiler voor Darwim.
Download nu

B-prolog Rangschikking & Samenvatting

B-prolog Tags

ontwikkelaar ontwikkelaar hulp prolog compiler logische programmering hulp prolog

B-prolog Beschrijving

Een geweldige prolog-compiler voor Darwim. B-PROLOG is een veelzijdige en echt efficiënte logica-programmering (CLP) -systeem! B-PROLOG wordt door Afany Software (New York), KLS (Tokio) en Nandasoft (Nanjing) gebracht. De geboorte van CLP is een mijlpaal in de geschiedenis van programmeertalen. CLP combineert twee declaratieve programmeerparadigma's: logische programmering en beperking opgelost. De declaratieve aard heeft het beroep aangetekend in talrijke toepassingen, waaronder computerondersteund ontwerp en verificatie, database, datamining, software engineering, optimalisatie, configuratie, grafische gebruikersinterface en taalverwerking. Een van B-PROLOG-doelen is om de productiviteit van software-onderhoudbaarheid en ontwikkeling te verbeteren. Bovendien, vanwege de beschikbaarheid van efficiënte beperking-oplossen, geheugenbeheer en compilatietechnieken, kunnen CLP-programma's efficiënter zijn dan hun tegenhangers geschreven in procedurele talen . Wat is er nieuw in deze release: · Tafelbeperkingen. Een tabel of een uitbreidingsbeperking is ofwel positief of negatief. Een positieve beperking neemt de vorm 'x in r' en een negatieve beperking neemt het formulier 'x Notin R', waarbij x een tuple-variabelen is (x1, ..., xn) of een lijst met tupliën van variabelen , en R is een tabel gedefinieerd als een set van tuplet van gehele getallen waar elke tuple het formulier inneemt (A1, ..., een). · Ondersteuning van tabelmodi. Een tabelverklaring neemt het formulier ': -table P (M1, ..., MN): n.' Waar P / N een predicaat is, is MI een modus (die 'min' kan zijn, 'max', '+', '-', of '?'), en N is een limiet op het aantal antwoorden ingediend. Als er geen limiet wordt gegeven, wordt aangenomen dat slechts één antwoord is ingediend. · ITERING BETREFFENDE INDINGEN: Foreach (iterators, localvars, doel) en foreach (iterators, localvars, accu's, doel) · Nieuwe mondiale beperkingen: post_neqs / 1 en post_disjunctive_tasks / 1. · Tijdevenementen worden afgehandeld met topprioriteit. · Binaire gelijkheidsbeperkingen zijn verder gespecialiseerd. · Globale beperkingen toegevoegd: geserialiseerd / 2, toewijzing / 2 en toewijzing0 / 2. · 'Var in D' en 'Var Notin D' kan optreden in Booleaanse beperkingen. · De onbekende vlag werkt opnieuw. · Verbeterde versie van Call_Cleanup / 2. · Een bugfix in de compiler. · Een bugfix in de GLPK-interface.

B-prolog Gerelateerde software