database.h

/*
 * plang logic programming language
 * Copyright (C) 2011  Southern Storm Software, Pty Ltd.
 *
 * The plang package is free software: you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public License
 * as published by the Free Software Foundation, either version 3 of
 * the License, or (at your option) any later version.
 *
 * The plang package is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with the libcompiler library.  If not,
 * see <http://www.gnu.org/licenses/>.
 */

#ifndef PLANG_DATABASE_H
#define PLANG_DATABASE_H

#include <plang/term.h>

#ifdef __cplusplus
extern "C" {
#endif

typedef enum {
    P_OP_NONE,
    P_OP_XF,
    P_OP_YF,
    P_OP_XFX,
    P_OP_XFY,
    P_OP_YFX,
    P_OP_FX,
    P_OP_FY
} p_op_specifier;

typedef enum {
    P_PREDICATE_NONE            = 0x00,
    P_PREDICATE_COMPILED        = 0x01,
    P_PREDICATE_DYNAMIC         = 0x02,
    P_PREDICATE_BUILTIN         = 0x04
} p_predicate_flags;

p_op_specifier p_db_operator_info(const p_term *name, int arity, int *priority);
void p_db_set_operator_info(p_term *name, p_op_specifier specifier, int priority);

typedef p_goal_result (*p_db_builtin)(p_context *context, p_term **args, p_term **error);
p_db_builtin p_db_builtin_predicate(const p_term *name, int arity);
void p_db_set_builtin_predicate(p_term *name, int arity, p_db_builtin builtin);

typedef struct {
    int type;
    union {
        int integer_value;
        double real_value;
        p_term *string_value;
    };
} p_arith_value;
typedef p_goal_result (*p_db_arith)(p_context *context, p_arith_value *result, const p_arith_value *values, p_term **args, p_term **error);
p_db_arith p_db_builtin_arith(const p_term *name, int arity);
void p_db_set_builtin_arith(p_term *name, int arity, p_db_arith builtin);

int p_db_clause_assert_first(p_context *context, p_term *clause);
int p_db_clause_assert_last(p_context *context, p_term *clause);
int p_db_clause_retract(p_context *context, p_term *clause);
int p_db_clause_abolish(p_context *context, const p_term *name, int arity);

int p_db_local_clause_assert_first(p_context *context, p_term *database, p_term *clause);
int p_db_local_clause_assert_last(p_context *context, p_term *database, p_term *clause);
int p_db_local_clause_retract(p_context *context, p_term *database, p_term *clause);
int p_db_local_clause_abolish(p_context *context, p_term *database, const p_term *name, int arity);

p_predicate_flags p_db_predicate_flags(p_context *context, const p_term *name, int arity);
void p_db_set_predicate_flag(p_context *context, p_term *name, int arity, p_predicate_flags flag, int value);

#ifdef __cplusplus
};
#endif

#endif

---