Καλώς ήρθατε στην Β-Prolog, ένα σύστημα ευέλικτο και αποτελεσματικό περιορισμό λογικής προγραμματισμού (CLP)! Β-Prolog είναι να έφερε σε σας από Afany Λογισμικό (Νέα Υόρκη), KLS (Τόκιο), και NandaSoft (Nanjing).
Η γέννηση του CLP είναι ένα ορόσημο στην ιστορία των γλωσσών προγραμματισμού. CLP συνδυάζει δύο φιλοσοφίες δηλωτικού προγραμματισμού: η λογική του προγραμματισμού και τον περιορισμό των προβλημάτων. Η δηλωτική φύση έχει αποδειχθεί ελκυστική σε πολλές εφαρμογές, συμπεριλαμβανομένων των computer-aided design και την επαλήθευση, βάση δεδομένων, εξόρυξη δεδομένων, τεχνολογία λογισμικού, βελτιστοποίηση, διαμόρφωση, γραφική διεπαφή χρήστη, και γλωσσικής επεξεργασίας. Αυτό ενισχύει σημαντικά την παραγωγικότητα της ανάπτυξης λογισμικού και της συντήρησης λογισμικού. Επιπλέον, λόγω της διαθεσιμότητας των αποδοτικών περιορισμό των προβλημάτων, διαχείριση μνήμης, καθώς και τις τεχνικές συλλογής, CLP προγράμματα μπορεί να είναι πιο αποτελεσματική από ό, τι οι ομόλογοί τους γραμμένο σε διαδικαστικές γλώσσες.
Τι είναι καινούργιο σε αυτή την έκδοση:
- Υποστήριξη UTF-8.
- Νέο ενσωματωμένο ins: getpid / 1, bp_current_resource / 1.
- διορθώσεις σφαλμάτων και βελτιώσεις:
Planner
μεταξύ / 3.
αφαιρέσουμε / 3.
Πολλαπλασιασμός περιορισμός
Τα σχόλια δεν βρέθηκε