Volante

Una regla es una lista que consta de una conclusión seguida de las hipótesis ( objetivos ). Las formas generales son las siguientes:

( hecho ) ( conclusión objetivo_1 ... objetivo_n )

Estas son equivalentes a las respectivas construcciones de Prolog:

hecho . conclusión :- meta_1 , ..., meta_n .

Por ejemplo, consideremos el memberpredicado en Prolog:

miembro ( E , [ E | _ ]). miembro ( E , [ _ | T ]) :- miembro ( E , T ).

En Fril, esto se convierte en:

((miembro E (E|_))) ((miembro E (_|T)) (miembro ET))

Algunos datos pueden representarse en forma de relaciones . Una relación es equivalente a un conjunto de hechos con el mismo nombre de predicado y de aridad constante , excepto que ninguno de los hechos puede eliminarse (salvo modificando killla relación); esta representación consume menos memoria internamente. Una relación se escribe literalmente como una lista que consta del nombre del predicado seguido de una o más tuplas de la relación (todos los argumentos del hecho equivalente sin el nombre del predicado). Un predicado también puede declararse como una relación llamando al def_relpredicado; esto solo funciona si el nombre propuesto no existe ya en la base de conocimiento . Una vez que un predicado es una relación, cualquier cosa que normalmente agregaría una regla (y no viole las restricciones de las relaciones) agrega automáticamente una tupla a la relación en su lugar.

Aquí hay un ejemplo. El siguiente conjunto de hechos:

((mi-menos-que 2 3)) ((mi-menos-de-8 23)) ((mi-menos-de-42 69))

se puede reescribir como la relación:

(mi-menos-que (2 3) (8 23) (42 69))

Se puede llamar a un predicado con exactamente un argumento utilizando la siguiente sintaxis:

argumento predicado

Las consultas se envían utilizando esta sintaxis, con el predicado siendo ?(o uno de los otros predicados relacionados con la consulta).

Fril admite conjuntos difusos continuos y discretos, cada uno con su propia sintaxis especial. Un conjunto discreto ( dtype ) enumera valores discretos y sus grados de pertenencia, con esta sintaxis:

{ valor : dom valor : dom ... valor : dom }

value es un átomo o número, y dom es un valor en el intervalo [0, 1].

Un conjunto continuo ( itype ) enumera los números reales y sus grados de pertenencia; la función de grado de pertenencia es la interpolación lineal sobre estas asignaciones. La sintaxis es, por lo tanto:

[ valor : dom valor : dom ... valor : dom ]

donde los valores deben darse en orden no decreciente.

Cada tipo de dato (dtype) e índice (itype) puede estar restringido a un universo (un conjunto de valores permitidos). Fril cuenta con predicados para operaciones de conjuntos difusos (pero no admite directamente el control mediante lógica difusa ). Incluso es posible combinar tipos de datos e índices mediante ciertas operaciones, siempre que los tipos de datos contengan únicamente números reales.

Cualquier regla puede tener un intervalo de probabilidad (llamado par de soporte) asociado , donde min y max son las probabilidades mínima y máxima. Fril incluye predicados que calculan el soporte para una consulta dada.:(minmax)

Mientras que Prolog utiliza la puntuación —a saber— para la disyunción dentro de ;las cláusulas, Fril en cambio tiene un predicado incorporado orr.

Esta sintaxis más sencilla presenta ventajas y desventajas. Por un lado, elimina =..la necesidad de predicados como el de Prolog (que relaciona listas y cláusulas), ya que una cláusula es una lista. Por otro lado, resulta más difícil de leer.