Documentation for Prolog File: sweetplo

General Information:

sweetplo module define a set of operator aliases for most common plo predicates, allowing for cleaner code.

Authored by:

• Salvador Fandiño García

Date:

15 Nov 2004

Files Consulted:

• plo

Predicates:

• ::/2

• <

• <<*/2

• <<*~/1

• <<*~/2

• <<~/1

• <<~/2

• >>/2

• >>*/2

Predicate Details:

• ::/2

  Form:

  Object::Method

  Constraints:

  • Ground: Object

  • Ground: Method

  Description:

  calls osend(Object, Method)

• <

  Form:

  Object::Attr << Value

  Constraints:

  • Ground: Object

  • Ground: Attr

  • Ground: Value

  Description:

  deterministic atributte set or reset. Calls oattr_reset(Object, Attr, Value)

• <<*/2

  Form:

  Object::Attr <<* Value

  Constraints:

  • Ground: Object

  • Ground: Attr

  • Ground: Value

  Description:

  non-deterministic atributte set. Calls oattr_set(Object, Attr, Value)

• <<*~/1

  Form:

  Object::Attr <<*~

  Constraints:

  • Ground: Object

  • Ground: Attr

  Description:

  unset: removes last attribute value under key Attr. Calls oattr_unset(Object, Attr, _)

• <<*~/2

  Form:

  Object::Attr <<*~ Value

  Constraints:

  • Ground: Object

  • Ground: Attr

  • Unrestricted: Value

  Description:

  unset: removes last attribute value under key Attr matching Value. Calls oattr_unset(Object, Attr, _)

• <<~/1

  Form:

  Object::Attr <<~

  Constraints:

  • Ground: Object

  • Ground: Attr

  • Ground: Value

  Description:

  unset-all: removes all attribute values under key Attr. Calls oattr_unset_all(Object, Attr, _)

• <<~/2

  Form:

  Object::Attr <<~ Value

  Constraints:

  • Ground: Object

  • Ground: Attr

  • Unrestricted: Value

  Description:

  unset-all: removes all attribute values under key Attr matching Value. Calls oattr_unset_all(Object, Attr, Value)

• >>/2

  Form:

  Object::Attr >> Value

  Constraints:

  • Ground: Object

  • Ground: Attr

  • Unrestricted: Value

  Description:

  deterministic atributte get. Calls oattr_get(Object, Attr, Value), !

• >>*/2

  Form:

  Object::Attr >>*Value

  Constraints:

  • Ground: Object

  • Ground: Attr

  • Unrestricted: Value

  Description:

  non-deterministic atributte get. Calls oattr_get(Object, Attr, Value)

Copyright (c) 2004 Salvador Fandiño García