Άσκηση 5: Λίστες στην Prolog

Abstract

Άσκηση 5: Λίστες στην Prolog Σε αυτήν την άσκηση παρουσιάζεται η λίστα ως η βασική δομή δεδομένων που χρησιμοποιείται στην Prolog μαζί με τον τελεστή "|" του διαχωρισμού της κεφαλής της λίστας. Εξηγείται η υλοποίηση των συναρτήσεων member/2, append/3 και take/3 με χρήση των συμμετρικών κλήσεων των όρων της Prolog. Στα ερωτήματα συμπεριλαμβάνεται η υλοποίηση συναρτήσεων Prolog για τον εντοπισμό στοιχείων που εμφανίζονται μόνο μία φορά σε μια λίστα, καθώς και ο υπολογισμός αθροισμάτων αριθμών που εμφανίζονται σε λίστες. Τέλος χρησιμοποιούνται οι λίστες ως μνήμη για να πραγματοποιηθούν αναζητήσεις στο παράδειγμα του οδικού χάρτη.

This exercise introduces lists as the basic data structures used in Prolog along with the operator "|", the list head separator. The implementation of the member/2, append/3, and take/3 functions are explained using Prolog's symmetric condition calls. Queries include implementing Prolog functions to find items that appear only once in a list, as well as calculating sums of numbers that appear in lists. Finally the lists are used as memory to perform lookups on the road map example.