P++ software that provides a Prolog language data storing and processing
method, includes making a plurality of different application programs,
introduces two structure types into arguments of clauses, implements these
two structure types in predicate inputting, memory storing, processing
through unification and back tracking, and outputting for each query. The
first structure type is hierarchically defined and recursively processed.
Its member can be a variable, a data term, or of any other structure type
except itself. Its variable child member can be substituted by one of this
structure type making a result in the same structure type with different
length. The second structure type is recursively defined and processed.
Its member can be a variable, a data term, or of any structure type
including itself. It has fixed number of members. With these two structure
types, addition and multiplication are extended to multi-dimensional space
operations.
P ++ de software die een de taalgegeven dat verstrekt van Proloog opslaat en het verwerkingsprocédé, het maken van een meerderheid van verschillende toepassingsprogramma's, introduceert twee structuurtypes in argumenten van clausules omvat, voert deze twee structuurtypes in predikaat invoeren, geheugen die, door eenmaking en het achter volgen verwerken, en voor elke vraag outputting opslaan uit. Het eerste structuurtype wordt hiërarchisch bepaald en recursief verwerkt. Zijn lid kan een variabele, een gegevenstermijn, of van een ander structuurtype behalve zich zijn. Zijn veranderlijk kindlid kan door één van dit structuurtype worden gesubstitueerd dat een resultaat in het zelfde structuurtype maakt met verschillende lengte. Het tweede structuurtype wordt recursief bepaald en verwerkt. Zijn lid kan een variabele, een gegevenstermijn, of van om het even welk structuurtype met inbegrip van zich zijn. Het heeft aantal leden bevestigd. Met deze twee structuurtypes, worden de toevoeging en de vermenigvuldiging uitgebreid tot multidimensionele ruimteverrichtingen.
