Vì Datalog là một ngôn ngữ con của Prolog nên các thành phần chủ yếu của Datalog tương tự với Datalog. Bây giờ ta sẽ xem xét cụ thể các thành phần của Datalog.
- Vị từ (predicate) là một hàm với một hoặc nhiều tham số. Tham số của vị từ là phối hợp của miền vị từ.
- Biến (variable) là một tham số của vị từ. Trong Datalog có hai loại biến, biến được đặt tên và biến vô danh. Biến vô danh được ký hiệu bằng dấu "_". Trình biên dịch sẽ tự gắn các định danh duy nhất cho từng biến vô danh.
- Hạng thức (term) là biến hoặc hằng. Hạng thức được gọi là phức nếu nó chứa các biểu thức (chẳng hạn biểu thức số học), ngược lại được gọi là đơn giản. Trong Datalog chỉ chứa các hạng thức đơn giản.
- Nguyên tử (atom) là vị từ trong chương trình. Nguyên tử bao gồm tên vị từ và danh sách hạng thức. Ví dụ, p(X,Y). Các nguyên tử có cùng tên liên quan đến cùng vị từ. Nguyên tử được gọi là cơ sở (ground) nếu nó chỉ chứa các hằng.
Mỗi nguyên tử phải được xác lập bằng một vị từ của nó. Trong phạm vị của Datalog điều đó có nghĩa là số ngôi của vị từ và số ngôi của nguyên tử có tên của vị từ này phải trùng nhau.
- Literal là nguyên tử - p(X1,...,Xn) hoặc phủ định của nguyên tử - not p(X1,...,Xn). Nguyên tử được gọi là literal khẳng định, sự phủ định nguyên tử được gọi là literal phủ định.
- Sự kiện (Fact) là literal khẳng định. Sự kiện cơ sở không chứa các biến. - Luật là tập các literal mà có nhiều nhất một literal khẳng định. Đôi khi luật được coi như tập có thứ tự các literal.
- Đích (goal) là tập các literal phủ định. Đích được gọi là đơn giản nếu nó có một literal.
- Vị từ mở rộng (Extensional predicate) là vị từ, mà miền của nó được lập trực tiếp bằng sự trợ giúp của các sự kiện cơ sở. Tập các vị từ mở rộng tạo lên cơ sở dữ liệu mở rộng (EDB).
- Vị từ tăng cường (Intensional predicate) được xác định không rõ ràng bằng sự có mặt của vị từ luật mà được tính toán khi chương trình thực hiện. Tập các vị từ tăng cường tạo nên cơ sở dữ liệu tăng cường (IDB).
- Đầu luật (vị từ đầu) là literal khẳng định của luật. Đầu của luật không thể mở rộng.
- Thân luật là tập tất cả các literal phủ định của luật.
Tất cả các biến được đề cập ở đầu luật cũng được đề cập trong các vị từ của thân luật (là các tham số).
- Mô hình là kết quả của việc thực hiện chương trình. Mô hình của chương trình logic bao gồm các sự kiện mở rộng và các sự kiện tăng cường được tính toán.