| Visual Prolog | |
|---|---|
| Tyyppi | Ohjelmointikieli |
| Kehittäjä | Prologin kehityskeskus |
| Käyttöjärjestelmä | MS Windows |
| uusin versio | 10.02 ( 19. heinäkuuta 2021 ) |
| Lisenssi | omistusoikeus |
| Verkkosivusto | visual-prolog.com |
Visual Prolog on PDC Prolog -ohjelmointikielen oliopohjainen laajennus, joka on kehitetty Turbo Prologista ( Borland ), Prolog -perheestä sekä tanskalaisen Prolog Development Centerin visuaalisesta ohjelmointijärjestelmästä .
Prolog-kehityskeskus on käyttänyt yli kolme vuotta Visual Prolog -järjestelmän kehittämistä vaiheittaisella beta-testauksella, jonka kaupallisen version toimittaminen alkoi helmikuussa 1996 .
Visual Prolog automatisoi monimutkaisten toimenpiteiden rakentamisen ja vapauttaa ohjelmoijan suorittamasta triviaaleja toimintoja. Visual Prologin avulla käyttöliittymän ja siihen liittyvien ikkunoiden, valintaikkunoiden, valikoiden, tilailmoituspalkkien ja niin edelleen suunnittelu tapahtuu graafisessa ympäristössä. Luotuja objekteja voivat käsitellä erilaiset koodiasiantuntijat, joiden avulla luodaan perus- ja laajennetut Prolog-koodit, joita tarvitaan niiden toimimiseen.
Prolog-kielen voima yhdistettynä käyttöliittymäjärjestelmään yksinkertaistaa tietopohjaisten järjestelmien, päätöksenteon tukijärjestelmien, aikataulutusohjelmien, edistyneiden tietokannanhallintajärjestelmien jne. kehittämistä.
Visualissa (ja aiemmin Turbossa) Prologissa toteutettu ohjelmointikieli eroaa perinteisestä Prologista siinä, että se perustuu vahvaan staattiseen kirjoitukseen. Se lisäsi myös oliopohjaisia ohjelmointityökaluja , anonyymejä predikaatteja (lambda-predikaatteja), faktamuuttujia ja tuhoavia määrityksiä niille, toimialueen argumentteja (yleiset rajapinnat ja luokat) ja parametrisen polymorfismin, monitorit (monitorit, joissa on suojat), pakottavat konstruktit (foreach, if. ..siis...muuta), listakeräilijät ([...||...]) jne.
Visual Prolog -järjestelmän sovelluskehitysympäristö sisältää tekstieditorin, erilaiset resurssieditorit, apujärjestelmän kehitystyökalut hypertekstiesitykseen, muutosseurantajärjestelmän, joka mahdollistaa vain muuttuneiden resurssien ja moduulien uudelleenkääntämisen ja uudelleenmuodostuksen, joukon Code-asiantuntijoita, optimointia. kääntäjä, joukko katsojia erityyppisille projektille ja debuggerille. Kaikkien työkalujen täydellinen integrointi nopeuttaa sovellusten kehitystä. Tuloksena olevat sovellukset ovat suoritettavia .EXE-ohjelmia. Visual Prolog 7.x:n kaupallisessa versiossa on mahdollista luoda .DLL-tiedostoja, henkilökohtaisessa versiossa tämä mahdollisuus oli olemassa versioon 5.x asti. [1] Ensimmäinen IDE:n tarjoama ominaisuus on projektinhallinta. Koska ympäristö on suunniteltu luomaan varsin suuria sovelluksia, sovellusprojektin tiedostojenhallintatyökalut esitetään siinä riittävässä määrin tätä varten. Ympäristössä on sisäänrakennettu dialogieditori, jonka avulla voit järjestää käyttäjän vuorovaikutuksen ohjelman kanssa graafisen käyttöliittymän avulla.
Visual Prologin Graphic User Interface (GUI) -ohjelmointijärjestelmä on korkean tason abstraktio käyttöjärjestelmän toiminnoista.
Järjestelmä sisältää myös rajapinnan SQL - tyyppisiin tietokantoihin . Lähes kaiken tyyppisiä tietokantoja on saatavana Windowsin ODBC - käyttöliittymän avulla. Pääsy Oracle - tietokantoihin on myös tuettu .
Asennuspaketti sisältää 50 luokkaa (Prolog Foundation Classes). Niiden joukossa ovat GDI+, kryptografinen, tiedonpakkaus, COM, Classical Prolog tulkin PIE (Prolog Inference Engine) jne.
Pelin " Towers of Hanoi " toteutus Visual Prologissa:
luokka hanoi predikaatit hanoi : ( unsigned N ). loppuluokka hanoi _ toteuttaa hanoi - alueet napa = merkkijono . lausekkeet hanoi ( N ) :- siirrä ( N , "vasemmalle" , "keskelle" , "oikealle" ). luokan predikaatit liikkuvat : ( etumerkitön N , napa A , napa B , napa C ). lauseet liikkuvat ( 0 , _ , _ , _ ) :- !. siirtää ( N , A , B , C ) :- siirtää ( N - 1 , A , C , B ), stdio : : writef ( "siirrä levy % napasta % napaan\n" , A , C ), liikkua ( N - 1 , B , A , C ). lopettaa hanoi _ maalikonsoli : : init ( ), hanoi : : hanoi ( 4 ).